; * doc/misc/ede.texi (Top): Improve introduction.
authorStefan Kangas <stefankangas@gmail.com>
Fri, 14 Mar 2025 23:18:28 +0000 (00:18 +0100)
committerStefan Kangas <stefankangas@gmail.com>
Sat, 15 Mar 2025 18:41:02 +0000 (19:41 +0100)
commit227db70db984091dc2ba9e1d860ce5354d729f7f
treecb93549562e510becce151000ea0ba200450d72c
parent1a8fbf69e3378996e633cf299b6a2d0716722d86
; * doc/misc/ede.texi (Top): Improve introduction.
doc/misc/ede.texi